基于微元件键合图库的微机电系统动态建模与仿真

为了更好地支持微机电系统(MEMS)TopDown设计流程,针对MEMS仿真中的多能量域与非线性特点,采用键合图场元件与结型结构设计并实现了一个集中参数表达的MEMS键合图仿真元件库,同时基于该元件库提出了一种MEMS动态系统建模与仿真方法.采用参数化仿真模型与结构化体系构建的元件库,为MEMS设计流程中的概念设计阶段与系统级设计阶段的快速建模与仿真提供了方便,同时元件库内的所有元件均与MEMS器件级设计中的结构特征具有映射关系,这为用户需求空间功能原理空间结构空间之间的设计空间映射提供了方便.通过一个静电间隙执行器的系统建模过程与仿真结果,验证了利用该元件库进行建模与仿真的有效性.     

并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

图的最大亏格与面度

利用图在曲面上的嵌入特征,特别是面的度的大小,研究图的最大亏格的下界.     

与路正交的 (0,f)-因子分解

文章证明了，若G是（0,mf-m 1)-图，H为G的具有m条边的路，则G有（0,f)因子分解与H正交。     

简单图含有完全子图的一个充分条件

从生活中的一个问题出发,运用图论知识进行了分析,得到了结论,并且对结论进行了推广 得到了在一般情况下简单图含有完全子图的充分条件 并且,在度数要求方面,这个结果是最佳可能的     

复杂电路中独立回路选择的新方法

利用图论思想方法,讨论了复杂电路中独立回路的选择,提出了断圈、避圈选择独立回路,使用实践表明:此方法适用于任何复杂电路的独立回路的选择.     

Ramsey数的新上、下界公式

运用该文的上界公式对Ramsey数的上、下界公式作出了一些改进，得到了含双参数的Ramsey数的新上、下界公式，并且通过证明得到了2个Ramsey数的较好结果。     

2-连通半无爪图的可迹性

若对图G中任意一对距离为2的顶点x，y，存在u∈N（x）∩N（y）使得N[u]（真包含于）N[x]∪[y]，则称G是半无爪图，对半无爪图证明以下结果：若G为n阶2-连通半元爪图，满足NC≥n -2/2，则G是可迹的。     

利用相量图辅助正弦稳态电路分析

正弦稳态电路分析往往要采用相量法,在分析过程中若能灵活运用相量图为辅助工具,则能为问题的解决提供简洁的思路。     

关于图的Ramsey数的几个下界

推广了3个C4对完全图的R am sey数下界以及一个经典R am sey数下界问题,得到了3个C4对完全图的R am sey数的线性下界,以及一个关于多项式的经典R am sey数下界.